واژگان: منطق جدید-گزاره ها (۱).

واژگان

E.G.	UI
E.I.	UI
U.G.	UI
U.I.	UI
استدلال ناقیاسی	Asyllogistic argument
انفرادی	Individual
تابع گزاره‌ای	Propositional function
تخصیص	Instantiating
تخصیص کلی	Universal Instantiation
تخصيص وجودی	Existential Instantiation
تعبیر	Interpretation
تعمیم	Generalization
تعمیم	Generalization
تعميم کلی	Universal Generalization
تعمیم وجودی	Existential Generalization
ثابت انفرادی	Individual constant
چندی گذاری	Quantification
روابط بین گزاره‌های حملی	The Relations between Categorical proposition
سور عمومی	Universal quantifier
سور گذاری	Quantification
سور گذاری گزاره A	Quantification of the A Proposition
سور گذاری گزاره E	Quantification of the E Proposition
سور گذاری گزاره I	Quantification of the I Proposition
سور گذاری گزاره O	Quantification of the O Proposition
سور وجودی	Existential quantifier
عالم سخن	Universe of discourse
عالم ممكن	Possible universe
فرد	Individual
فرمول صورت–نرمال	Normal-formformula
قواعد چهار گانه سور ها	Four quantification rules
گزاره موجب شخصی	Affirmative singular proposition
متغیر انفرادی	Individual variable
محمول ساده	Simple predicate
مدل	Model
مربع تقابل جدید	Modern square of opposition
مربع تقابل مدرن	Boolean square of opposition
منطق سورها	Quantification theory
منطق گزاره ها	Logic of propositions
منطق محمولات	Logic of predicates
مورد جانشینی	Substitution instance
مورد گذاری	Instantiating
ویژگی	Attribute